/* abstract away some of the common Raspberry PI setups, especially WRT I/O */

var gpio_pinout = [ 0, [],
			1, [ '', '', 'GPIO 0', '', 'GPIO' ],
			2, [ '', '', 'GPIO 0', '', 'GPIO' ] ];
